Exceptions, Continuations and Macro-Expressiveness
ثبت نشده
چکیده
منابع مشابه
Typed Exceptions and Continuations Cannot Macro-Express Each Other
The most powerful control constructs in modern programming languages are continuations and exceptions. Although they can be used interchangeably in some cases, they are fundamentally different semantically. We consider two simply-typed functional languages with exceptions and continuations, respectively. We give two theorems, one that holds in the language with exceptions and one that holds in ...
متن کاملTyped Exeptions and Continuations Cannot Macro-Express Each Other
The most powerful control constructs in modern programming languages are continuations and exceptions. Although they can be used interchangeably in some cases, they are fundamentally different semantically. We consider two simply-typed functional languages with exceptions and continuations, respectively. We give theorems, one that holds in the language with exceptions and one that holds in the ...
متن کاملCapturing the Future by Replaying the Past
Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski’s 1994 paper, which showed that delimited continuations can implement any monadic e ect, letting the programmer use an e ect as easily as if it was built into the language. It’s a shame that not many languages have delimited continuations. Luckily, exceptions and state are also the mother of all monads...
متن کاملPartial Continuations as the Diierence of Continuations a Duumvirate of Control Operators ?
We deene a partial continuation as the diierence of two continuations. We exhibit, in a single framework, several design choices and their impact on semantics. The ability of partial continuations to manipulate stack frames blurs the nature of dynamic extent; therefore, we introduce a new concept of preexal extent that characterises the time during which a partial continuation can be reiied. We...
متن کاملPartial Continuations as the Difference of Continuations - A Duumvirate of Control Operators
We de ne a partial continuation as the di erence of two continua tions We exhibit in a single framework several design choices and their impact on semantics The ability of partial continuations to manipulate stack frames blurs the nature of dynamic extent therefore we introduce a new concept of pre xal extent that characterises the time during which a partial continu ation can be rei ed We prop...
متن کامل